Llistar TÃtols
S'han trobat 4 Ãtems
Llistant Ãtems des de 0 a 4:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
20 desembre 2012 | A satisfiability modulo theories approach to constraint programming | Suy Franch, Josep |
|
A satisfiability modulo theories approach to constraint programming | Suy Franch, Josep | |
|
|
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
|
|
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |
